logarithmic proofs